Process Specification Language - PDFSEARCH.IO - Document Search Engine

Process Specification Language
Results: 89

#	Item
51	A Rule-Based Natural Language Technique for Requirements Discovery and Classification in Open-Source Software Development Projects Add to Reading List Source URL: www.hicss.hawaii.edu Language: English - Date: 2010-11-27 15:59:00 Software Requirement Software Requirements Specification Software development process Reliability engineering Classification rule Functional requirement Systems engineering process Software quality Software development Software requirements Systems engineering
52	40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2014-04-04 08:14:48 Software engineering Vienna Development Method Formal specification B-Method Specification language Software development methodology Dines Bjørner Software development process Static program analysis Formal methods Computing Software development
53	Institute of Architecture of Application Systems SOEDA: A Methodology for Specification and Implementation of Applications on a Service-Oriented Event-Driven Architecture Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2009-02-04 05:13:43 Workflow technology Business Design Enterprise modelling Business Process Execution Language Business Process Model and Notation Business process modeling Orchestration Workflow Process management Management Systems engineering
54	Integrated Collaboration Object Model (ICOM) for Interoperable Collaboration Services Version 1.0 Committee Specification 01 Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2013-01-31 12:00:00 Attribute Business Process Execution Language Lightweight Directory Access Protocol OASIS ICOM Data model EXPRESS XML Relation Content Management Interoperability Services Computing Markup languages Technical communication
55	Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-09-30 04:09:55 Software development Formal verification Model checking Formal specification Electronic design automation Specification language Verification and validation Software development process Programming language Formal methods Theoretical computer science Science
56	Integrated Collaboration Object Model (ICOM) for Interoperable Collaboration Services Version 1.0 Committee Specification 01 Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2013-01-31 12:00:00 Attribute Business Process Execution Language Lightweight Directory Access Protocol OASIS ICOM Data model EXPRESS XML Relation Content Management Interoperability Services Computing Markup languages Technical communication
57	Formal SDI development: The specification clash between nodes and network Rolf de By & Javier Morales Add to Reading List Source URL: www.ec-gis.org Language: English - Date: 2008-06-30 12:28:58 Management Diagrams Workflow technology Standards organizations Science Business Process Model and Notation Open Geospatial Consortium Business Process Execution Language Geographic information system Process management Unified Modeling Language Systems engineering
58	Design Specification for IEEE Std 1471 Recommended Practice for Architectural Description IEEE Architecture Working Group 0 Motivation Despite significant efforts to improve engineering practices and technologies, softwa Add to Reading List Source URL: www.iso-architecture.org Language: English - Date: 1997-10-19 05:23:08 Software architecture Information technology management Systems engineering Methodology Software Design Description Architecture description language IEEE Systems engineering process ISO IEEE standards Design Software engineering
59	The MITRE Corporation The OVAL® Language Windows Component Model Specification Version 5.11 Danny Haynes, Stelios Melachrinoudis[removed] Add to Reading List Source URL: oval.mitre.org Language: English - Date: 2014-12-18 16:02:43 Scripting languages Procedural programming languages Inter-process communication Configuration files Computer file formats Windows Registry Batch file File system Test Computing Software engineering Computer programming
60	SatTerm experience: vocabulary control and facet analysis help improve the software requirements elicitation process Ricardo Eito-Brun Universidad Carlos III de Madrid Abstract Add to Reading List Source URL: www.iskouk.org Language: English - Date: 2013-07-10 11:29:40 Systems engineering Software engineering Semantic Web Requirement Software Requirements Specification Ontology Modeling language Software development process Software development methodology Software development Software Software requirements